$\forall$$a$, $b$, $c$:$\mathbb{Z}$. imin($a$;imin($b$;$c$)) = imin(imin($a$;$b$);$c$) $\in$ $\mathbb{Z}$